provided_attr = ...  # int
